[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 127 228 0 134 0 0 -1

N.S.

1 1.00 1.19 2.13 0.00 1.25 0.00 0.00 -0.01

time (sec)

N/A 0.093 1.058 0.181 0.000 0.115 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 136 250 0 157 0 0 -1

N.S.

1 1.00 1.01 1.85 0.00 1.16 0.00 0.00 -0.01

time (sec)

N/A 0.103 1.519 0.181 0.000 0.121 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 149 272 0 170 0 0 -1

N.S.

1 1.00 0.93 1.69 0.00 1.06 0.00 0.00 -0.01

time (sec)

N/A 0.114 1.729 0.186 0.000 0.125 0.000 0.000 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 279 439 0 215 0 0 -1

N.S.

1 1.00 1.49 2.35 0.00 1.15 0.00 0.00 -0.01

time (sec)

N/A 0.168 2.757 0.314 0.000 0.121 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 259 386 0 200 0 0 -1

N.S.

1 1.00 1.65 2.46 0.00 1.27 0.00 0.00 -0.01

time (sec)

N/A 0.144 1.793 0.284 0.000 0.115 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 157 371 0 179 0 0 -1

N.S.

1 1.00 1.20 2.83 0.00 1.37 0.00 0.00 -0.01

time (sec)

N/A 0.128 1.006 0.263 0.000 0.130 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 135 172 0 148 0 0 -1

N.S.

1 1.00 1.03 1.31 0.00 1.13 0.00 0.00 -0.01

time (sec)

N/A 0.127 1.337 0.210 0.000 0.135 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 137 250 0 156 0 0 -1

N.S.

1 1.00 1.05 1.91 0.00 1.19 0.00 0.00 -0.01

time (sec)

N/A 0.127 1.295 0.187 0.000 0.134 0.000 0.000 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 146 272 0 170 0 0 -1

N.S.

1 1.00 0.91 1.69 0.00 1.06 0.00 0.00 -0.01

time (sec)

N/A 0.151 1.871 0.189 0.000 0.127 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 156 260 0 183 0 0 -1

N.S.

1 1.00 0.83 1.39 0.00 0.98 0.00 0.00 -0.01

time (sec)

N/A 0.172 2.230 0.205 0.000 0.127 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 271 439 0 215 0 0 -1

N.S.

1 1.00 1.45 2.35 0.00 1.15 0.00 0.00 -0.01

time (sec)

N/A 0.182 1.877 0.324 0.000 0.122 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 278 386 0 202 0 0 -1

N.S.

1 1.00 1.73 2.40 0.00 1.25 0.00 0.00 -0.01

time (sec)

N/A 0.161 2.490 0.289 0.000 0.144 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 70 292 0 121 0 0 -1

N.S.

1 1.00 0.59 2.47 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.153 0.356 0.265 0.000 0.122 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 150 194 0 162 0 0 -1

N.S.

1 1.00 0.94 1.22 0.00 1.02 0.00 0.00 -0.01

time (sec)

N/A 0.155 1.567 0.228 0.000 0.143 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 146 272 0 170 0 0 -1

N.S.

1 1.00 0.91 1.69 0.00 1.06 0.00 0.00 -0.01

time (sec)

N/A 0.160 1.620 0.192 0.000 0.148 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 156 260 0 183 0 0 -1

N.S.

1 1.00 0.83 1.39 0.00 0.98 0.00 0.00 -0.01

time (sec)

N/A 0.182 2.216 0.201 0.000 0.131 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 285 413 0 248 0 0 -1

N.S.

1 1.00 1.74 2.52 0.00 1.51 0.00 0.00 -0.01

time (sec)

N/A 0.122 3.334 0.240 0.000 0.126 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 256 253 0 196 0 0 -1

N.S.

1 1.00 1.88 1.86 0.00 1.44 0.00 0.00 -0.01

time (sec)

N/A 0.110 1.943 0.282 0.000 0.145 0.000 0.000 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 180 200 0 184 0 0 -1

N.S.

1 1.00 1.64 1.82 0.00 1.67 0.00 0.00 -0.01

time (sec)

N/A 0.103 1.022 0.162 0.000 0.117 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 181 198 0 184 0 0 -1

N.S.

1 1.00 1.65 1.80 0.00 1.67 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.999 0.171 0.000 0.122 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 311 199 0 186 0 0 -1

N.S.

1 1.00 2.78 1.78 0.00 1.66 0.00 0.00 -0.01

time (sec)

N/A 0.103 1.714 0.174 0.000 0.122 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 312 215 0 207 0 0 -1

N.S.

1 1.00 2.23 1.54 0.00 1.48 0.00 0.00 -0.01

time (sec)

N/A 0.115 4.053 0.186 0.000 0.114 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 341 229 0 217 0 0 -1

N.S.

1 1.00 2.03 1.36 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.132 2.740 0.184 0.000 0.139 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 287 413 0 328 0 0 -1

N.S.

1 1.00 1.42 2.04 0.00 1.62 0.00 0.00 -0.00

time (sec)

N/A 0.184 2.583 0.274 0.000 0.200 0.000 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 252 405 0 278 0 0 -1

N.S.

1 1.00 1.43 2.30 0.00 1.58 0.00 0.00 -0.01

time (sec)

N/A 0.167 1.360 0.208 0.000 0.129 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 242 257 0 277 0 0 -1

N.S.

1 1.00 1.62 1.72 0.00 1.86 0.00 0.00 -0.01

time (sec)

N/A 0.160 1.265 0.191 0.000 0.120 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 98 188 0 150 0 0 -1

N.S.

1 1.00 1.27 2.44 0.00 1.95 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.393 0.184 0.000 0.116 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 239 257 0 277 0 0 -1

N.S.

1 1.00 1.60 1.72 0.00 1.86 0.00 0.00 -0.01

time (sec)

N/A 0.159 1.458 0.207 0.000 0.127 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 259 257 0 277 0 0 -1

N.S.

1 1.00 1.70 1.69 0.00 1.82 0.00 0.00 -0.01

time (sec)

N/A 0.162 2.073 0.207 0.000 0.123 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 257 270 0 287 0 0 -1

N.S.

1 1.00 1.44 1.52 0.00 1.61 0.00 0.00 -0.01

time (sec)

N/A 0.181 1.766 0.304 0.000 0.138 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 271 283 0 297 0 0 -1

N.S.

1 1.00 1.36 1.42 0.00 1.48 0.00 0.00 -0.00

time (sec)

N/A 0.187 1.889 0.207 0.000 0.162 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 363 555 0 354 0 0 -1

N.S.

1 1.00 1.64 2.51 0.00 1.60 0.00 0.00 -0.00

time (sec)

N/A 0.250 2.393 0.232 0.000 0.143 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 274 268 0 353 0 0 -1

N.S.

1 1.00 1.41 1.37 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.237 2.437 0.203 0.000 0.119 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 363 270 0 353 0 0 -1

N.S.

1 1.00 1.86 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.245 2.117 0.205 0.000 0.129 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 363 270 0 353 0 0 -1

N.S.

1 1.00 1.86 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.234 1.995 0.205 0.000 0.123 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 272 270 0 353 0 0 -1

N.S.

1 1.00 1.39 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.232 2.794 0.206 0.000 0.137 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 378 270 0 353 0 0 -1

N.S.

1 1.00 1.94 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.232 2.195 0.220 0.000 0.146 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 285 283 0 363 0 0 -1

N.S.

1 1.00 1.29 1.28 0.00 1.64 0.00 0.00 -0.00

time (sec)

N/A 0.260 2.326 0.227 0.000 0.152 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 71 82 283 81 0 143 163

N.S.

1 1.00 0.46 0.54 1.85 0.53 0.00 0.93 1.07

time (sec)

N/A 0.185 0.211 0.869 0.532 0.390 0.000 0.538 5.191

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 61 72 237 71 0 116 134

N.S.

1 1.00 0.53 0.63 2.06 0.62 0.00 1.01 1.17

time (sec)

N/A 0.143 0.135 0.233 0.530 0.394 0.000 0.574 1.839

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 51 62 190 59 0 87 84

N.S.

1 1.00 0.66 0.81 2.47 0.77 0.00 1.13 1.09

time (sec)

N/A 0.105 0.109 0.220 0.544 0.402 0.000 0.575 0.785

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 39 50 98 40 0 58 43

N.S.

1 1.00 1.08 1.39 2.72 1.11 0.00 1.61 1.19

time (sec)

N/A 0.075 0.070 0.220 0.531 0.403 0.000 0.521 0.294

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 70 100 146 119 0 0 -1

N.S.

1 1.00 1.23 1.75 2.56 2.09 0.00 0.00 -0.02

time (sec)

N/A 0.077 0.096 0.267 0.590 0.410 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 97 132 791 88 0 0 -1

N.S.

1 1.00 1.05 1.43 8.60 0.96 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.138 0.254 0.604 0.391 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 111 169 1059 108 0 0 -1

N.S.

1 1.00 0.82 1.24 7.79 0.79 0.00 0.00 -0.01

time (sec)

N/A 0.149 0.274 0.266 0.633 0.405 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 72 83 263 86 0 0 221

N.S.

1 1.00 0.45 0.52 1.63 0.53 0.00 0.00 1.37

time (sec)

N/A 0.203 0.279 0.220 0.536 0.419 0.000 0.000 4.145

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 62 73 217 73 0 0 135

N.S.

1 1.00 0.51 0.60 1.79 0.60 0.00 0.00 1.12

time (sec)

N/A 0.159 0.197 0.238 0.526 0.403 0.000 0.000 1.626

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 52 63 125 60 0 0 91

N.S.

1 1.00 0.64 0.78 1.54 0.74 0.00 0.00 1.12

time (sec)

N/A 0.119 0.140 0.219 0.524 0.385 0.000 0.000 0.791

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 85 168 997 91 0 0 -1

N.S.

1 1.00 0.89 1.75 10.39 0.95 0.00 0.00 -0.01

time (sec)

N/A 0.126 0.191 0.246 0.630 0.412 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 99 130 803 90 0 0 -1

N.S.

1 1.00 1.04 1.37 8.45 0.95 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.154 0.250 0.613 0.416 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 111 170 1080 112 0 0 -1

N.S.

1 1.00 0.79 1.21 7.71 0.80 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.256 0.262 0.628 0.415 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 126 205 1942 123 0 0 -1

N.S.

1 1.00 0.70 1.14 10.79 0.68 0.00 0.00 -0.01

time (sec)

N/A 0.209 0.537 0.276 0.722 0.399 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 84 95 289 107 0 0 306

N.S.

1 1.00 0.42 0.47 1.44 0.53 0.00 0.00 1.52

time (sec)

N/A 0.278 5.385 0.242 0.526 0.392 0.000 0.000 4.848

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 74 85 243 94 0 0 227

N.S.

1 1.00 0.46 0.53 1.51 0.58 0.00 0.00 1.41

time (sec)

N/A 0.229 5.354 0.225 0.529 0.405 0.000 0.000 4.205

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 64 75 151 81 0 0 137

N.S.

1 1.00 0.53 0.62 1.25 0.67 0.00 0.00 1.13

time (sec)

N/A 0.193 0.287 0.221 0.529 0.418 0.000 0.000 1.623

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 404 268 1395 128 0 0 -1

N.S.

1 1.00 2.93 1.94 10.11 0.93 0.00 0.00 -0.01

time (sec)

N/A 0.197 6.316 0.258 0.641 0.412 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

134 134 202 186 973 111 0 0 -1

N.S.

1 1.00 1.51 1.39 7.26 0.83 0.00 0.00 -0.01

time (sec)

N/A 0.196 3.045 0.250 0.637 0.434 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

140 140 202 166 1106 120 0 0 -1

N.S.

1 1.00 1.44 1.19 7.90 0.86 0.00 0.00 -0.01

time (sec)

N/A 0.195 2.970 0.263 0.633 0.433 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

180 180 202 207 1964 133 0 0 -1

N.S.

1 1.00 1.12 1.15 10.91 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.243 3.142 0.280 0.724 0.398 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

220 220 202 242 7450 146 0 0 -1

N.S.

1 1.00 0.92 1.10 33.86 0.66 0.00 0.00 -0.00

time (sec)

N/A 0.283 3.046 0.298 0.923 0.422 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

154 154 1540 294 0 130 0 0 -1

N.S.

1 1.00 10.00 1.91 0.00 0.84 0.00 0.00 -0.01

time (sec)

N/A 0.195 7.888 0.333 0.000 0.421 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

118 118 473 228 0 114 0 0 -1

N.S.

1 1.00 4.01 1.93 0.00 0.97 0.00 0.00 -0.01

time (sec)

N/A 0.137 6.636 0.217 0.000 0.440 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

82 82 178 144 0 86 0 0 -1

N.S.

1 1.00 2.17 1.76 0.00 1.05 0.00 0.00 -0.01

time (sec)

N/A 0.082 2.052 0.197 0.000 0.445 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 68 82 0 39 0 0 -1

N.S.

1 1.00 1.45 1.74 0.00 0.83 0.00 0.00 -0.02

time (sec)

N/A 0.057 0.120 0.208 0.000 0.438 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 171 134 0 70 0 0 -1

N.S.

1 1.00 1.82 1.43 0.00 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.116 0.633 0.212 0.000 0.433 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 244 159 0 125 0 0 -1

N.S.

1 1.00 1.95 1.27 0.00 1.00 0.00 0.00 -0.01

time (sec)

N/A 0.155 1.643 0.234 0.000 0.405 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

189 189 1542 294 0 141 0 0 -1

N.S.

1 1.00 8.16 1.56 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.282 7.857 0.257 0.000 0.448 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

151 151 475 227 0 125 0 0 -1

N.S.

1 1.00 3.15 1.50 0.00 0.83 0.00 0.00 -0.01

time (sec)

N/A 0.194 6.660 0.244 0.000 0.431 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

113 113 180 142 0 98 0 0 -1

N.S.

1 1.00 1.59 1.26 0.00 0.87 0.00 0.00 -0.01

time (sec)

N/A 0.126 2.034 0.225 0.000 0.432 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 76 71 88 0 144 0 0 -1

N.S.

1 1.36 1.27 1.57 0.00 2.57 0.00 0.00 -0.02

time (sec)

N/A 0.080 0.103 0.226 0.000 0.455 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 135 173 134 0 89 0 0 -1

N.S.

1 1.29 1.65 1.28 0.00 0.85 0.00 0.00 -0.01

time (sec)

N/A 0.156 0.264 0.237 0.000 0.457 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 246 167 0 143 0 0 -1

N.S.

1 1.00 1.46 0.99 0.00 0.85 0.00 0.00 -0.01

time (sec)

N/A 0.228 1.069 0.257 0.000 0.482 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

197 197 591 258 0 161 0 0 -1

N.S.

1 1.00 3.00 1.31 0.00 0.82 0.00 0.00 -0.01

time (sec)

N/A 0.297 7.445 0.260 0.000 0.420 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

157 157 458 183 0 136 0 0 -1

N.S.

1 1.00 2.92 1.17 0.00 0.87 0.00 0.00 -0.01

time (sec)

N/A 0.214 6.495 0.240 0.000 0.490 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 99 151 0 126 0 0 -1

N.S.

1 1.00 0.85 1.29 0.00 1.08 0.00 0.00 -0.01

time (sec)

N/A 0.131 0.558 0.232 0.000 0.459 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 140 156 0 125 0 0 -1

N.S.

1 1.00 1.20 1.33 0.00 1.07 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.472 0.242 0.000 0.456 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 263 203 0 182 0 0 -1

N.S.

1 1.00 1.51 1.17 0.00 1.05 0.00 0.00 -0.01

time (sec)

N/A 0.243 2.357 0.263 0.000 0.501 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 347 235 0 201 0 0 -1

N.S.

1 1.00 1.62 1.10 0.00 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.327 6.687 0.270 0.000 0.502 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

237 237 641 316 0 195 0 0 -1

N.S.

1 1.00 2.70 1.33 0.00 0.82 0.00 0.00 -0.00

time (sec)

N/A 0.405 8.011 0.272 0.000 0.505 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-2) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

197 197 508 258 0 170 0 0 -1

N.S.

1 1.00 2.58 1.31 0.00 0.86 0.00 0.00 -0.01

time (sec)

N/A 0.311 6.813 0.248 0.000 0.469 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 131 222 0 169 0 0 -1

N.S.

1 1.00 0.83 1.41 0.00 1.08 0.00 0.00 -0.01

time (sec)

N/A 0.221 0.992 0.244 0.000 0.449 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 122 221 0 167 0 0 -1

N.S.

1 1.00 0.78 1.41 0.00 1.06 0.00 0.00 -0.01

time (sec)

N/A 0.229 0.699 0.247 0.000 0.432 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 164 222 0 169 0 0 -1

N.S.

1 1.00 1.04 1.41 0.00 1.08 0.00 0.00 -0.01

time (sec)

N/A 0.224 0.768 0.250 0.000 0.438 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 424 320 0 235 0 0 -1

N.S.

1 1.00 1.98 1.50 0.00 1.10 0.00 0.00 -0.00

time (sec)

N/A 0.338 6.822 0.253 0.000 0.628 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 289 352 0 245 0 0 -1

N.S.

1 1.00 1.14 1.39 0.00 0.96 0.00 0.00 -0.00

time (sec)

N/A 0.434 2.033 0.270 0.000 0.695 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 696 390 0 229 0 0 -1

N.S.

1 1.00 2.51 1.41 0.00 0.83 0.00 0.00 -0.00

time (sec)

N/A 0.518 8.426 0.291 0.000 0.508 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

237 237 561 326 0 204 0 0 -1

N.S.

1 1.00 2.37 1.38 0.00 0.86 0.00 0.00 -0.00

time (sec)

N/A 0.420 6.937 0.264 0.000 0.502 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 153 288 0 203 0 0 -1

N.S.

1 1.00 0.78 1.46 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.322 3.924 0.255 0.000 0.457 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 125 288 0 203 0 0 -1

N.S.

1 1.00 0.63 1.46 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.314 1.232 0.260 0.000 0.438 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

197 197 153 288 0 203 0 0 -1

N.S.

1 1.00 0.78 1.46 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.321 3.793 0.251 0.000 0.469 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 196 288 0 203 0 0 -1

N.S.

1 1.00 0.99 1.46 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.318 4.483 0.256 0.000 0.454 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 487 440 0 279 0 0 -1

N.S.

1 1.00 1.92 1.73 0.00 1.10 0.00 0.00 -0.00

time (sec)

N/A 0.443 6.973 0.270 0.000 0.669 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

294 294 519 472 0 289 0 0 -1

N.S.

1 1.00 1.77 1.61 0.00 0.98 0.00 0.00 -0.00

time (sec)

N/A 0.527 7.010 0.290 0.000 0.719 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

237 237 163 354 0 237 0 0 -1

N.S.

1 1.00 0.69 1.49 0.00 1.00 0.00 0.00 -0.00

time (sec)

N/A 0.415 4.284 0.264 0.000 0.444 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 395 354 0 237 0 0 -1

N.S.

1 1.00 1.67 1.49 0.00 1.00 0.00 0.00 -0.00

time (sec)

N/A 0.416 6.096 0.272 0.000 0.430 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 51 0 121 41 0 0 44

N.S.

1 1.00 1.34 0.00 3.18 1.08 0.00 0.00 1.16

time (sec)

N/A 0.079 0.130 0.164 0.508 0.396 0.000 0.000 0.736

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

302 302 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.347 3.054 0.298 0.000 0.000 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

232 232 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.202 1.294 0.418 0.000 0.000 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

173 173 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.551 0.257 0.000 0.000 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 215 0 0 0 0 0 -1

N.S.

1 1.00 1.64 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.043 1.135 0.122 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]